Nuprl Definition : ycomb
9,38
postcript
pdf
Y(
f
) == (
x
.
f
(
x
(
x
)))(
x
.
f
(
x
(
x
)))
latex
Definitions
x
.
A
(
x
)
,
f
(
a
)
FDL editor aliases
ycomb
origin
x.f(x(x)))(x.f(x(x))) x.f(x(x)))(x.f(x(x))) x.A(x)